HAMADI, YOUSSEF: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Fully Automated HTML and JavaScript Rewriting for Constructing a Selfâhealing Web Proxy

Durieux, Thomas, Hamadi, Youssef, Monperrus, Martin

Journal:

Software Testing, Verification and Reliability

Year:

2020

Language:

english

File:

PDF, 2.78 MB

english, 2020

2

AutoCollage

Rother, Carsten, Bordeaux, Lucas, Hamadi, Youssef, Blake, Andrew

Journal:

ACM Transactions on Graphics

Year:

2006

Language:

english

File:

PDF, 432 KB

english, 2006

3

Handbook of Parallel Constraint Reasoning || Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

4

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Exhaustive Exploration of the Failure-Oblivious Computing Search Space

Durieux, Thomas, Hamadi, Youssef, Yu, Zhongxing, Baudry, Benoit, Monperrus, Martin

Year:

2018

Language:

english

File:

PDF, 255 KB

english, 2018

5

Boosting distributed constraint satisfaction

Youssef Hamadi, Georg Ringwelski

Journal:

Journal of Heuristics

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

6

Red Palm Olein: Characterization and Utilization in Formulating Novel Functional Biscuits

Nesma El-Hadad, Hany Aly Abou-Gharbia, Mohammed Hamadi Abd El-Aal, Mohammed Mohamoud Youssef

Journal:

Journal of the American Oil Chemists' Society

Year:

2010

Language:

english

File:

PDF, 295 KB

english, 2010

7

Optimal Distributed Arc-Consistency

Journal:

Year:

2002

Language:

english

File:

PDF, 391 KB

english, 2002

8

Learning from conflicts in propositional satisfiability

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Journal:

4OR: A Quarterly Journal of Operations Research

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

9

Sister chromatid exchange (SCE) and high-frequency cells (HFC) in peripheral blood lymphocytes of healthy Tunisian smokers

Ghada Ben Salah, Hassen Kamoun, Ahmed Rebai, Achraf Ben Youssef, Hajer Ayadi, Neila Belghith-Mahfoudh, Amine Fourati, Hamadi Ayadi, Faiza Fakhfakh

Journal:

Mutation Research/Genetic Toxicology and Environmental Mutagenesis

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

10

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || Hybridizing Reactive Tabu Search with Simulated Annealing

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

11

Efficiently solving quantified bit-vector formulas

Wintersteiger, Christoph M., Hamadi, Youssef, Moura, Leonardo

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 718 KB

english, 2013

12

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || Parallel Algorithm Configuration

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 421 KB

english, 2012

13

Development of a nanoparticulate formulation of diminazene to treat African trypanosomiasis

Kroubi, Maya, Daulouede, Sylvie, Karembe, Hamadi, Jallouli, Youssef, Howsam, Mike, Mossalayi, Djavad, Vincendeau, Philippe, Betbeder, Didier

Journal:

Year:

2010

Language:

english

File:

PDF, 602 KB

english, 2010

14

[Lecture Notes in Computer Science] Learning and Intelligent Optimization ||

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 11.90 MB

english, 2012

15

LEARNING FOR DYNAMIC SUBSUMPTION

HAMADI, YOUSSEF, JABBOUR, SAÏD, SAÏS, LAKHDAR

Journal:

International Journal of Artificial Intelligence Tools

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

16

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || Community Detection in Social and Biological Networks Using Differential Evolution

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

17

Combinatorial Search: From Algorithms to Systems ||

Hamadi, Youssef

Year:

2013

Language:

english

File:

PDF, 1.97 MB

english, 2013

18

Guest editorial: special issue – revised selected papers of the LION 6 conference

Hamadi, Youssef, Schoenauer, Marc

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 109 KB

english, 2013

19

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Subsumption

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Year:

2009

Language:

english

File:

PDF, 343 KB

english, 2009

20

CONFLICTING AGENTS IN DISTRIBUTED SEARCH

HAMADI, YOUSSEF

Journal:

International Journal of Artificial Intelligence Tools

Year:

2005

Language:

english

File:

PDF, 790 KB

english, 2005

21

INTERLEAVED BACKTRACKING IN DISTRIBUTED CONSTRAINT NETWORKS

HAMADI, YOUSSEF

Journal:

International Journal of Artificial Intelligence Tools

Year:

2002

Language:

english

File:

PDF, 437 KB

english, 2002

22

PUSHING LOG-BASED RECONCILIATION

HAMADI, YOUSSEF, SHAPIRO, MARC

Journal:

International Journal of Artificial Intelligence Tools

Year:

2005

Language:

english

File:

PDF, 629 KB

english, 2005

23

Autonomous Search || Parameter Adaptation in Ant Colony Optimization

Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric

Year:

2012

Language:

english

File:

PDF, 784 KB

english, 2012

24

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || Global Optimization for Algebraic Geometry – Computing Runge–Kutta Methods

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 188 KB

english, 2012

25

Autonomous Search || Automated Algorithm Configuration and Parameter Tuning

Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric

Year:

2012

Language:

english

File:

PDF, 392 KB

english, 2012

26

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || Learning Algorithm Portfolios for Parallel Execution

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 502 KB

english, 2012

27

Autonomous Search || Evolutionary Algorithm Parameters and Methods to Tune Them

Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric

Year:

2012

Language:

english

File:

PDF, 437 KB

english, 2012

28

Autonomous Search ||

Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric

Year:

2012

Language:

english

File:

PDF, 4.34 MB

english, 2012

29

Propositional Satisfiability and Constraint Programming

Bordeaux, Lucas, Hamadi, Youssef, Zhang, Lintao

Journal:

ACM Computing Surveys

Year:

2006

Language:

english

File:

PDF, 858 KB

english, 2006

30

[Lecture Notes in Computer Science] Learning and Intelligent Optimization || A Tree Search Approach to Sparse Coding

Hamadi, Youssef, Schoenauer, Marc

Year:

2012

Language:

english

File:

PDF, 127 KB

english, 2012

31

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Exploiting weak dependencies in tree-based search

Arbelaez, Alejandro, Hamadi, Youssef

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

32

[ACM Press the 13th annual conference companion - Dublin, Ireland (2011.07.12-2011.07.16)] Proceedings of the 13th annual conference companion on Genetic and evolutionary computation - GECCO '11 - Optimizing architectural and structural aspects of buildings towards higher energy efficiency

Fialho, Álvaro, Hamadi, Youssef, Schoenauer, Marc

Year:

2011

Language:

english

File:

PDF, 430 KB

english, 2011

33

[ACM Press ACM SIGGRAPH 2006 Papers - Boston, Massachusetts (2006.07.30-2006.08.03)] ACM SIGGRAPH 2006 Papers on - SIGGRAPH '06 - AutoCollage

Rother, Carsten, Bordeaux, Lucas, Hamadi, Youssef, Blake, Andrew

Year:

2006

Language:

english

File:

PDF, 432 KB

english, 2006

34

What we can learn from conflicts in propositional satisfiability

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Journal:

Annals of Operations Research

Year:

2016

Language:

english

File:

PDF, 789 KB

english, 2016

35

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Continuous Search in Constraint Programming

Arbelaez, Alejandro, Hamadi, Youssef, Sebag, Michele

Year:

2010

Language:

english

File:

PDF, 391 KB

english, 2010

36

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Shavit, Yoli, Yordanov, Boyan, Dunn, Sara-Jane, Wintersteiger, Christoph M., Otani, Tomoki, Hamadi, Youssef, Livesey, Frederick J., Kugler, Hillel

Journal:

Year:

2016

Language:

english

File:

PDF, 1.63 MB

english, 2016

37

Surrogate-based methods for black-box optimization

Vu, Ky Khac, D'Ambrosio, Claudia, Hamadi, Youssef, Liberti, Leo

Journal:

International Transactions in Operational Research

Year:

2016

Language:

english

File:

PDF, 394 KB

english, 2016

38

Tractability (Practical Approaches to Hard Problems) || Tractability and Modern Satisfiability Modulo Theories Solvers

Bordeaux, Lucas, Hamadi, Youssef, Kohli, Pushmeet, Mateescu, Robert

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

39

Tractability (Practical Approaches to Hard Problems) || Tree-Reweighted Message Passing

Bordeaux, Lucas, Hamadi, Youssef, Kohli, Pushmeet, Mateescu, Robert

Year:

2013

Language:

english

File:

PDF, 336 KB

english, 2013

40

Tractability (Practical Approaches to Hard Problems) || SAT Solvers

Bordeaux, Lucas, Hamadi, Youssef, Kohli, Pushmeet, Mateescu, Robert

Year:

2013

Language:

english

File:

PDF, 361 KB

english, 2013

41

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Evolving SMT Strategies

Ramirez, Nicolas Galvez, Hamadi, Youssef, Monfroy, Eric, Saubion, Frederic

Year:

2016

Language:

english

File:

PDF, 245 KB

english, 2016

42

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - SWIM

Raghothaman, Mukund, Wei, Yi, Hamadi, Youssef

Year:

2016

Language:

english

File:

PDF, 388 KB

english, 2016

43

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER) - Production-driven patch generation

Durieux, Thomas, Hamadi, Youssef, Monperrus, Martin

Year:

2017

Language:

english

File:

PDF, 182 KB

english, 2017

44

Handbook of Parallel Constraint Reasoning ||

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 10.73 MB

english, 2018

45

Handbook of Parallel Constraint Reasoning || Parallel Satisfiability Modulo Theories

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 873 KB

english, 2018

46

Handbook of Parallel Constraint Reasoning || Parallel Model-Based Diagnosis

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 748 KB

english, 2018

47

Handbook of Parallel Constraint Reasoning || Parallel Maximum Satisfiability

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.14 MB

english, 2018

48

Handbook of Parallel Constraint Reasoning || Parallel Solving of Quantified Boolean Formulas

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

49

Handbook of Parallel Constraint Reasoning || An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems

Hamadi, Youssef, Sais, Lakhdar

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

50

Seven Challenges in Parallel SAT Solving

Hamadi, Youssef, Wintersteiger, Christoph

Journal:

Year:

2013

Language:

english

File:

PDF, 186 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски